- permutative reduction
- вчт перестановочная редукция
English-Russian electronics dictionary .
permutative reduction
Смотреть что такое "permutative reduction" в других словарях:
De Bruijn notation — For the representation of variables with natural numbers, see De Bruijn index. In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn.[1] It can be seen… … Wikipedia
